~ show the goal structure

— ?